" Melvin Fitting" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Intuitionistic Logic, Model Theory and Forcing (Studies in Logic and the Foundations of Mathematics)

Категория: Образование

5.92 Mb

#2

Set Theory and the Continuum Problem (Oxford Logic Guides, Volume 34)

Raymond M. Smullyan, Melvin Fitting

2.47 Mb

#3

First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)

Melvin Fitting

1.85 Mb

#4

Types, Tableaus, and Gödel’s God (Trends in Logic)

Melvin Fitting

11.17 Mb

#5

Intuitionistic logic, model theory and forcing

Категория: Mathematical logic

927 Kb

#6

Set theory and the continuum problem

Raymond M. Smullyan, Melvin Fitting

3.08 Mb

#7

Set theory and the continuum problem

Raymond M. Smullyan, Melvin Fitting

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.42 Mb

#8

Intuitionistic logic, model theory and forcing

Melvin Fitting

1.80 Mb

#9

Intuitionistic logic model theory and forcing

Melvin Fitting

3.76 Mb

#10

First-order Logic and Automated Theorem Proving

Категория: Cs_Computer science, CsAi_AI, knowledge

1.80 Mb

#11

Fundamentals of generalized recursion theory

Melvin Chris Fitting

Категория: Mathematical logic

1.71 Mb

#12

Fundamentals of generalized recursion theory

Melvin Chris Fitting

954 Kb